Another proof of dilworth's decomposition theorem
نویسندگان
چکیده
منابع مشابه
Another proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملAnother Proof of Clairaut's Theorem
This note gives an alternate proof of Clairaut’s theorem—that the partial derivatives of a smooth function commute—using the Stone–Weierstrass theorem. Most calculus students have probably encountered Clairaut’s theorem. Theorem. Suppose that f : [a, b] × [c, d] → R has continuous second-order partial derivatives. Then fxy = fyx on (a, b)× (c, d). The proof found in many calculus textbooks (e.g...
متن کاملAnother proof of Soittola's theorem
Soittola’s theorem characterizes R+or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a new proof of the theorem based on Soittola’s and Perrin’s proofs together with some new ideas that allows us to separate algebraic and analytic arguments. c © 2008 Elsevier B.V. All rights reserved.
متن کاملAnother Proof of a Freĭman-type Theorem
We provide a new proof of a Frĕıman-type theorem. Specifically, suppose that G is a locally compact abelian group with a Haar measure μG. The δ-ball Bδ of a translation invariant metric is called d-dimensional if μG(B2δ′ ) 6 2 dμG(Bδ′ ) for all δ ′ ∈ (0, δ]. We show that if A is a compact neighborhood with μG(nA) 6 n μG(A) for all n > d log d, then A is contained in a O(d log d)-dimensional bal...
متن کاملYet Another Proof of Cantor’s Theorem
We present various proofs of Cantor’s theorem in set theory: namely that the cardinality of the power set of a set X exceeds the cardinality of X, and in particular the continuum is uncountable. One of the proofs we present is inspired by Yablo’s non-self-referential Liar’s paradox, and it seems to bear a dual relationship to yet another proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1979
ISSN: 0012-365X
DOI: 10.1016/0012-365x(79)90157-2